Fix use of dtoastr from gnulib.
authorMichael Welsh Duggan <md5i@md5i.com>
Mon, 14 Feb 2011 22:25:29 +0000 (17:25 -0500)
committerChong Yidong <cyd@stupidchicken.com>
Mon, 14 Feb 2011 22:25:29 +0000 (17:25 -0500)
commitd5cdc02a915c422688e185c64dcdff255fc4657f
tree6462d15b2391e6e69dbeed2c066f11e4ebc36c6a
parent9a42164631712635b7d05430ca9cfa9ab9aaf428
Fix use of dtoastr from gnulib.

* src/print.c (float_to_string): Ensure that a decimal point is
printed if using dtoastr (Bug#8033).
src/ChangeLog
src/print.c